Koha online

1.
Fundamental algorithms for permutation groups

by Butler, G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1991Availability: Items available for loan: [Call number: 004 BUT] (1).
Place hold
2.
Distributed communities on the Web : 4th international workshop, DCW 2002, Sydney, Australia, April 3-5, 2002 : revised papers

by Plaice, John | Kropf, Peter G | Schulthess, Peter | Slonim, Jacob.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 PLA] (1).
Place hold
3.
Distributed Applications and Interoperable Systems : 4th IFIP WG 6.1 International Conference, DAIS 2003 Paris, France, November 2003 : Proceedings

by Stefani, Jean-Bernard | Demeure, Isabelle | Hagimont, Daniel.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 STE] (1).
Place hold
4.
Large-scale Scientific Computing : 4th International Conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003 : revised papers

by Lirkov, Ivan | Margenov, Svetozar | Wasniewski, Jerzy | Yalamov, Plamen.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 LIR] (1).
Place hold
5.
Medical imaging and augmented reality : second international workshop, MIAR 2004, Beijing, China, August 19-20, 2004 : proceedings

by Jiang, Tianzi | Yang, Guang-Zhong.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 YAN] (1).
Place hold
6.
Medical image computing and computer-assisted intervention-- MICCAI 2004 : Seventh International Conference Saint-Malo, France, September 2004 : proceedings, part 1

by Barillot, Christian | Haynor, David R | Hellier, Pierre.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 BAR] (1).
Place hold
7.
Medical image computing and computer-assisted intervention - MICCAI 2004

by Barillot, Christian | Haynor, David R | Hellier, Pierre.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 BAR] (1).
Place hold
8.
Middleware 2004 : ACM/IFIP/USENIX International Middleware Conference, Toronto, Canada, October 18-22, 2004, proceedings

by Jacobsen, Hans-Amo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 JAC] (1).
Place hold
9.
Utility Computing : 15th IFIP/IEEE International Workshop on Distributed Systems : Operations and Management, DSOM 2004 Davis, CA, USA, november 2004, proceedings

by Sahai, Akhil | Wu, Felix.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 SAH] (1).
Place hold
10.
Applied Computing : Second Asian Applied Computing Conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004 ; proceedings

by Suresh, Manandhar | Austin, Jim | Desai, Uday | Oyanagi, Yoshio.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 MAN] (1).
Place hold
11.
Distributed computing and internet technology : First International Conference, ICDCIT 2004 Bhubaneswar, India, December 2004 ; proceedings

by Ghosh, R. K | Mohanty, Hrushikesha.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 GHO] (1).
Place hold
12.
Distributed Computing - IWDC 2004 : sixth International workshop, Kolkata, India, December 27-30, 2004 ; proceedings

by Nabanita, Das | Das, Sajal K | Sen, Arunabha | Sinha, Bhabani P.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 DAS] (1).
Place hold
13.
Computational linguistics and intelligent text processing : sixth international conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005 ; proceedings

by Gelbukh, Alexander.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 GEL] (1).
Place hold
14.
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

by Kreowski, Hans-Jorg | Montanari, Ugo | Orejas, Fernando | Rozenberg, Grzegorz.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 KRE] (1).
Place hold
15.
Operational Semantics for Timed Systems : a Non-standard Approach to Uniform Modeling of Timed and hybrid systems

by Rust, Heinrich.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 RUS] (1).
Place hold
16.
Location-and Context-Awareness : First International Workshop, LOCA 2005, Oberpfaffenhofen, Germany, May 12-13, 2005; proceedings

by Strang, Thomas | Linnhoff-Popien, Claudia.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 STR] (1).
Place hold
17.
Principles of Distributed Systems : Eighth International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004 : revised selected papers

by Higashino, Teruo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 HIG] (1).
Place hold
18.
Model checking software : twelfth International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings

by Godefroid, Patrick.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GOD] (1).
Place hold
19.
Applied algebra, algebraic algorithms, and error-correcting codes

by Fossorier, Marc | Hoholdt, Tom | Poli, Alain.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 FOS] (1).
Place hold
20.
Digital Rights Management : Technological, Economic, Legal and Political Aspects

by Becker, Eberhard | Buhse, Willms | Gunnewig, Dirk | Rump, Niels.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BEC] (1).
Place hold

Powered by Koha